//////////////////////////////////////////////////////////////////////////

#ifndef _UTILITYTYPES_H_
#define _UTILITYTYPES_H_

//////////////////////////////////////////////////////////////////////////

#include <vector>
#include <set>
#include <map>
#include "gmpxx.h"

//////////////////////////////////////////////////////////////////////////


/** Vector of integers */
typedef std::vector<int> IntVec;


/** Vector of booleans */
typedef std::vector<bool> BoolVec;


/** Set of big integers */
typedef std::set<mpz_class> MpzSet;


//////////////////////////////////////////////////////////////////////////

#endif

//////////////////////////////////////////////////////////////////////////
